8.10 整数は順序環